121. Infinitary logic: in memoriam Carol Karp: a collection of papers by various authors
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Karp, Carol,6291-2791,، Infinitary languages,، Model theory
رده :
QA
3
.
L28
no
.
492
122. Infinitary logic:in memorian Carol Karp: a collection of papers by various authors
پدیدآورنده : edited by D. W. Kneker
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Karp, Carol, 6291-2791,Infintary languages -Addresses, essays, lectures,Model theory- Addresses, essays, lectures
رده :
QA
3
.
L28
no
.
492
123. Information theory : for continuous systems
پدیدآورنده : ]editor[ Shunsuke Ihara
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematical models ، Entropy )Information theory(,Mathematical model ، Neural transmission
رده :
Q
370
.
I537
124. Institution-independent model theory
پدیدآورنده : Diaconescu, Razvan
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Model theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
7
.
D53
2008
125. Introduction to model theory
پدیدآورنده : Rothmaler, Philipp
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
R68
126. Introduction to model theory
پدیدآورنده : Rothmaler, Philipp
موضوع : ، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
127. Introduction to model theory
پدیدآورنده : Rothmaler, Philipp
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Model theory
رده :
QA
9
.
7
.
R67
2000
128. Introduction to model theory and to the metamathematics of algebra
پدیدآورنده : Robinson, Abraham
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Algebra, Abstract,، Mathematics,، Model theory
رده :
QA
162
.
R6
1974
129. Introduction to model theory and to the metamathematics of algebra
پدیدآورنده : Robinson, Abraham
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Algebra, Abstract,، Metamathematics,، Model theory
رده :
QA
162
.
R6
1974
130. Intuitionistic logic, model theory and forcing
پدیدآورنده : Fitting, Melvin
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model theory,، Axiomatic set theory,، Forcing )Model theory(
رده :
QA
9
.
F56
131. Large infinitary languages
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Infinitary languages. ; Model theory. ;
132. Large infinitary languages : model theory
پدیدآورنده : Dickmann, M A
موضوع : ، Infinitary languages,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
133. Lecture notes on O-minimal structures and real analytic geometry
پدیدآورنده : / Chris Miller, Jean-Philippe Rolin, Patrick Speissegger, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Model theory,Geometry, Analytic,Vector fields
رده :
E-BOOK
134. Logic Colloquium' 88: Proceedings of the Colloquium held in Padova, Italy, August 22-21, 1988
پدیدآورنده : Logic Colloquium )8891: Padova, Italy(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathemaical-- Congresses,، Model theory-- Congresses
رده :
QA
9
.
A1
.
L63
1988
135. Logic Colloquium '87: proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory
رده :
QA
9
.
A1
.
L63
1987
136. Logica universalis
پدیدآورنده : / Jean-Yves Beziau, editor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic, Symbolic and mathematical,Model theory
رده :
QA9
.
2
.
L64
2005
137. Mathematical logic : an introduction to model theory
پدیدآورنده : Lightstone, A. H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
L54
138. Mathematical logic and model theory : a brief introduction
پدیدآورنده : Prestel, Alexander, 1491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P743M3
139. Mathematical logic and model theory a brief introduction
پدیدآورنده : Prestel, A.)Alexander(,1491-,Alexander Prestel, Charles N. Delzell
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
169
.
M3
P7
2011
140. Mathematical logic and model theory: a brief introduction
پدیدآورنده : Prestel, A. )Alexander(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه گلستان (گلستان)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P68
M38